Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988: 354 (Lecture Notes in Computer Science)
by Grzegorz Rozenberg,Jacobus W. de Bakker,Willem-Paul De Roever
ISBN 13: 9783540510802
Format: Paperback (728 pages) Publisher: Springer Published: 27 Jun 2008
Save for later
PARLE Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings: 259 (Lecture Notes in Computer Science)
by Jacobus W. de Bakker,Philip C. Treleaven,A.J. Nijman
ISBN 13: 9783540179450
Format: Paperback (484 pages) Publisher: Springer Published: 27 Jun 2008